An XML Viewer for Tabular Forms for Use with Mechanical Documentation
نویسندگان
چکیده
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph grammar. Next we explain a parser based on the syntactic definitions and attribute rules. Furthermore, we introduce an XML viewer for tabular forms based on the attribute graph grammar. Finally, we introduce a system structure to construct the whole processing system for mechanical documentation. These results are applied to mechanical manipulation of general tabular forms.
منابع مشابه
FNV: light-weight flash-based network and pathway viewer
MOTIVATION Network diagrams are commonly used to visualize biochemical pathways by displaying the relationships between genes, proteins, mRNAs, microRNAs, metabolites, regulatory DNA elements, diseases, viruses and drugs. While there are several currently available web-based pathway viewers, there is still room for improvement. To this end, we have developed a flash-based network viewer (FNV) f...
متن کاملTabular Expressions in Software Engineering
Tabular expressions (tables) have been used in the software development process for more than twenty years. In addition, research has been ongoing to develop semantics for tabular expressions. At this stage in the history of tabular expressions we see a slight split between those working to improve the semantic understanding of tables, and those using tables to document real industrial software...
متن کاملWriting Literate Proofs with XML Tools
Both mechanical proof scripts and programs benefit from documentation and modularity. Designed to be an industrial-strength theorem prover, ACL2 provides powerful support for both of these. The standard distribution includes hundreds of pages of documentation that are automatically generated from function doc-strings in the source code. However, it is still difficult to write easily understanda...
متن کاملTable Algebras: Algebraic Structures for Tabular Notation, Including Nested Header (Preliminary Version)
We define a class of algebraic structures for the interpretation of tabular notations common in software requirements documentation and show how to use table algebra homomorphisms to define staged table semantics, translation between different kinds of tables, and table transformation. An important advantage of this approach is that it covers the practically important use of nested headers in a...
متن کاملHospital Compliance with Clinical Documentation Standards: A Descriptive Study in two Iranian Teaching Hospitals
Background and Objectives: Standard clinical documentation is an integral part of quality patient care. This study aimed to explore compliance of two Iranian teaching hospitals with the clinical documentation standards. Methods: A total of 400 records were surveyed. Data were collected using a checklist of standard measures. The checklist comprised 15 items selected from relevant guidelines...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003